Kdd 2020: Health Day: Data-Driven Simulation And Optimization For Covid-19 Exitstrategies